first-order modal logic

[计] 一阶模态逻辑